1. Computability theory: an introduction
Author: )by( Neil D. Jones,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Recursive functions,Turing machines,Computable functions
Classification :
QA
.
J66
248
.
5
2. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
Author: edited by Martin Davis
Library: Central Library and Documentation Center (Kerman)
Subject: ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
Classification :
QA
9
.
65
.
U53
2004
3. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
Author: edited by Martin Davis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
Classification :
QA
9
.
65
.
U53
